Basic science

Results: 4014



#Item
611

BRICS Basic Research in Computer Science BRICS RSDamg˚ard & Jurik: Generalisation and Applications of Paillier’s Probabilistic Public-Key System A Generalisation,

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-02-20 08:27:27
    612

    BRICS Basic Research in Computer Science BRICS RSDanvy & Rhiger: A Simple Take on Typed Abstract Syntax in Haskell-like Languages A Simple Take on Typed Abstract Syntax in

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2001-02-19 02:05:43
      613

      BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2005-08-08 07:23:39
        614

        LECTURE-AND-DISCUSSION SERIES PRESENTS Cryptography, Freedom, Democracy How Basic Science Affects Everyone Professor Nelson H. F. Beebe, University of Utah

        Add to Reading List

        Source URL: www.math.utah.edu

        Language: English - Date: 2005-12-06 07:22:58
          615

          BRICS RSM. S. Ager: From Natural Semantics to Abstract Machines BRICS Basic Research in Computer Science

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2004-10-12 10:13:57
            616

            BRICS Basic Research in Computer Science BRICS RSKohlenbach & Leus¸tean: Mann Iterates in Hyperbolic Spaces

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2002-06-20 09:58:04
              617

              The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) Evaluation of the antimicrobial activity of colloidal silver-hydrogen peroxide against model c

              Add to Reading List

              Source URL: www.formatex.info

              Language: English - Date: 2015-03-27 12:36:09
                618

                BRICS RSJ. Iversen: Type Checking Semantic Functions in ASDF BRICS Basic Research in Computer Science

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2005-03-22 04:48:37
                  619

                  BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 1998-01-07 06:24:59
                    620

                    BRICS Basic Research in Computer Science BRICS RSM. Goldberg: A General Schema for Constructing One-Point Bases in the Lambda Calculus A General Schema for

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2002-07-31 09:19:02
                      UPDATE